Satisfiability of Inequalities in a Poset

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

a swot analysis of the english program of a bilingual school in iran

با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...

15 صفحه اول

a study of baudrillards ideas in brian moores fiction

پیدایش مرحله ی جدیدی از نظام سرمایه داری بعد از جنگ جهانی دوم همزمان است با ظهور عصر اطلاعات و رسانه جمعی. در چنین جامعه ای سیر آزادانه ی نشانه ها در فضای بی اساس مجازی بر سرعت فرسایش واقعیت می افزاید. به اعتقاد بودریار، فقدان واقعیت به واسطه ی شبیه سازی آن و تولید حاد واقعیت (hyperreality) پنهان خواهد ماند. این پژوهش بر آن است که جامعه فرانوین توصیف شده در سه رمان بریان مور را با توجه به نظر...

15 صفحه اول

gradual erasure of subjectivity: a study of samuel beckett’s trilogy in the light of postmodernism

ساموئل بکت بیشتر از هر نویسنده دیگری در نیم? دوم قرن بیستم با گفتارش زمان? ما را به آستان? از هم پاشیدگی کشانده است، آستانه ای که در آن مدرنیته با سرانجام گریزان اما غیرقابل اجتناب خود مواجه می شود. در این تحقیق روی مفهوم فردیت و محو آن در دوران پسامدرن تاکید شده و در طی آن سعی شده است که فردیت مدرن و پسامدرن در رمان های سه گانه بکت بررسی گردد. تحقیق حاضر یک بررسی کتابخانه ای و کیفی بر روی سه ر...

15 صفحه اول

a contrastive study of rhetorical functions of citation in iranian and international elt scopus journals

writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Fundamenta Informaticae

سال: 1996

ISSN: 0169-2968

DOI: 10.3233/fi-1996-281211